Formal specification - PDFSEARCH.IO - Document Search Engine

Formal specification
Results: 233

#	Item
111	UKTC Product Development Lifecycle Template – Technology Preview The purpose of this document is to provide a formal template that can guide the developer in the type of information required by the UKTC Edition Committ Add to Reading List Source URL: systems.hscic.gov.uk Language: English Standards Science International Health Terminology Standards Development Organisation Quality assurance Software development process Specification Software developer Evaluation Quality Management
112	Formal Specification and Verification of ARM6 M.J.C. Gordon Computer Laboratory University of Cambridge Final Report to EPSRC on grant GR/N13135 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-06-09 11:49:11 Formal methods Central processing unit ARM architecture Logic in computer science Formal verification Theoretical computer science ARM7 Formal specification Microprocessor Electronic engineering Computer architecture Computer hardware
113	A Language for Biochemical Systems: Design and Formal Specification Michael Pedersen and Gordon D. Plotkin LFCS, School of Informatics, University of Edinburgh Abstract. This paper introduces a Language for Biochemical Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-22 11:50:31 Signal transduction Protein kinases Mitogen-activated protein kinase Arc Petri net Gene expression Messenger RNA Biology Biochemistry Molecular biology
114	A FORMAL METHODOLOGY TO TEST COMPLEX EMBEDDED SYSTEMS: APPLICATION TO INTERACTIVE DRIVING SYSTEM ∗ Manuel Núñez,1 Fernando L. Pelayo2 and Ismael Rodríguez1 1 Departamento Sistemas Informáticos y Programación, Facu Add to Reading List Source URL: antares.sip.ucm.es Language: English - Date: 2007-12-19 12:49:12 Data management Specification Reliability engineering Science Systems engineering Technology Abstraction
115	Specifying and Analyzing Real-Time Object Systems in Real-Time Maude ¨ Peter C. Olveczky Department of Informatics, University of Oslo Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-09-06 09:03:13 Logic in computer science Model checking Formal methods Functional specification Rewriting Maude Petri net Maude system Theoretical computer science Software development Computer science
116	Convergence Refinement Murat Demirbas Anish Arora Department of Computer and Information Science Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2007-11-26 13:31:19 Fault-tolerant computer systems Self-stabilization Formal specification Vector space Algorithm Algebra Mathematics Formal methods
117	Extensible Specifications for Automatic Re-Use of Specifications and Proofs Daniel Matichuk1 and Toby Murray1,2 1 2 Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:38 Computing Formal verification Isabelle Formal specification Microkernel Haskell B-Method L4 microkernel family Proof assistant Formal methods Theoretical computer science Applied mathematics
118	On Formal Specification of a Proof Tool∗ R.D. Arthan ICL Secure Systems, Eskdale Road, Winnersh, Berks. RG11 5TT Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:33:45 First-order logic Model theory Predicate logic Axiom Zermelo set theory Function Well-formed formula Logic Mathematics Mathematical logic
119	How to say why (in AI4FM) Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside School of Computing Science, Newcastle University {name.surname}@newcastle.ac.uk October 30, 2013 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-21 06:16:22 Theoretical computer science Formal methods Proof assistant Mathematical proof Theorem KeY Rippling Isabelle Specification language Logic Mathematics Automated theorem proving
120	Introduction The HyperIBIS architecture extends the standard IBIS model to support inference about belief and expected utility in formal argument models using an open hypertext architecture. Traditional IBIS models provi Add to Reading List Source URL: www.cognitiveweb.org Language: English - Date: 2003-11-24 22:04:18 Evidence Science Argument Thought Falsifiability Semantics Input/output Buffer Information Specification Critical thinking Philosophy Epistemology

UPDATE